First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
401	Transformation Rules for Z Mark Utting∗ Petra Malik† Ian Toyn Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:23 Oxford University Computing Laboratory Z notation First-order logic Regular expression Unification Rule of inference Logic Mathematical logic Formal languages
402	ARTIFIC~L r~rELUOE~CE 189 STRIPS: A New Approach to the Application of .Theorem Proving to Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-11-22 14:26:00 Automated theorem proving Metalogic Rules of inference Logical syntax First-order logic Logic programming Resolution STRIPS Algorithm Logic Mathematical logic Mathematics
403	Artificial IntelligenceElsevier 31 Logic and artificial intelligence Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:30:59 Philosophy of language Reasoning Programming paradigms Knowledge representation and reasoning Entailment Function First-order logic Interpretation Proposition Logic Philosophical logic Logical syntax
404	Finding Loop Invariants for Programs over Arrays Using a Theorem Prover ? Laura Kov´acs1 and Andrei Voronkov2 2 1 Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2010-02-15 09:12:21 Control flow First-order logic FO IP Resolution Assignment Foreach loop Variable Loop counter Mathematics Logic Software engineering
405	A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2014-03-07 00:56:20 Logic in computer science Functions and mappings Formal methods Function First-order logic Predicate transformer semantics FO Quasigroup Dynamic logic Mathematics Mathematical logic Logic
406	From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin and Yi Zhou Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-10-13 03:43:14 Mathematics Non-classical logic Model theory Predicate logic Modal logic Stable model semantics First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming
407	Sound, Complete and Scalable Path-Sensitive Analysis ∗ Isil Dillig Thomas Dillig Alex Aiken Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2008-04-24 14:23:16 Model theory Functions and mappings First-order logic Predicate logic Interpretation Function Normal distribution Mathematical logic Logic Mathematics
408	Proof of Beal’s Conjecture (In Logic Symbols) By: Don Blazys and Brett Blazys (research assistant) Abstract: This is essentially the same proof that can be found on my website http://donblazys.com/ and on the “Unsolv Add to Reading List Source URL: donblazys.com Language: English - Date: 2013-04-30 16:41:51 Predicate logic Proof theory Logical syntax Model theory First-order logic Mathematical proof Formal proof Calculus Logic Mathematics Mathematical logic
409	Mach Learn DOIs10994x Efficient inference and learning in a large knowledge base Reasoning with extracted information using a locally groundable first-order probabilistic logic Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2015-04-10 22:35:36 Link analysis Graphical models Networks Probability Mathematics PageRank Markov random field Markov logic network Artificial intelligence Theoretical computer science Applied mathematics
410	Journal of Artificial Intelligence Research314 Submitted 09/02; publishedCompiling Causal Theories to Successor State Axioms and STRIPS-Like Systems Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2003-10-09 01:39:43 Logic programming Automated planning and scheduling Situation calculus Functions and mappings Action description language STRIPS Function FO First-order logic Mathematics Mathematical logic Abstract algebra

UPDATE